Niemniej mona i w logice trjwartociowej za pomoc umowy analogicznej do poprzedniej wprowadzi funktor zdaniotwrczy [~] i pojcie tautologii. Nie wszystkie jednak wyraenia, bdce tautologiami w logice dwuwartociowej wprowadzonej poprzednio s tautologiami w powyej okrelonej logice trjwartociowej. Na przykad tautologi nie jest wyraenie [#] 